Search results for "DYNAMIC PROGRAMMING"

showing 10 items of 61 documents

Parallel algorithms for large-scale biological sequence alignment on Xeon-Phi based clusters

2016

Computing alignments between two or more sequences are common operations frequently performed in computational molecular biology. The continuing growth of biological sequence databases establishes the need for their efficient parallel implementation on modern accelerators. This paper presents new approaches to high performance biological sequence database scanning with the Smith-Waterman algorithm and the first stage of progressive multiple sequence alignment based on the ClustalW heuristic on a Xeon Phi-based compute cluster. Our approach uses a three-level parallelization scheme to take full advantage of the compute power available on this type of architecture; i.e. cluster-level data par…

0301 basic medicineXeon Phi clustersComputer scienceData parallelismParallel algorithm02 engineering and technologyDynamic programmingBiochemistryPairwise sequence alignmentComputational science03 medical and health sciencesStructural BiologyComputer cluster0202 electrical engineering electronic engineering information engineeringAmino Acid SequenceDatabases ProteinMolecular Biology020203 distributed computingResearchApplied MathematicsComputational BiologyProteinsSmith-WatermanComputer Science Applications030104 developmental biologyMultiple sequence alignmentDatabases Nucleic AcidSequence AlignmentAlgorithmsSoftwareXeon PhiBMC Bioinformatics
researchProduct

Asymmetry matters: Dynamic half-way points in bidirectional labeling for solving shortest path problems with resource constraints faster

2017

Abstract With their paper “Symmetry helps: Bounded bi-directional dynamic programming for the elementary shortest path problem with resource constraints” [Discrete Optimization 3, 2006, pp. 255–273] Righini and Salani introduced bounded bidirectional dynamic programming (DP) as an acceleration technique for solving variants of the shortest path problem with resource constraints (SPPRC). SPPRCs must be solved iteratively when vehicle routing and scheduling problems are tackled via Lagrangian relaxation or column-generation techniques. Righini and Salani and several subsequent works have shown that bounded bidirectional DP algorithms are often superior to their monodirectional counterparts, s…

050210 logistics & transportationMathematical optimization021103 operations researchInformation Systems and ManagementGeneral Computer ScienceJob shop scheduling05 social sciences0211 other engineering and technologies02 engineering and technologyManagement Science and Operations ResearchIndustrial and Manufacturing EngineeringDynamic programmingsymbols.namesakeLagrangian relaxationModeling and SimulationDiscrete optimizationBounded function0502 economics and businessShortest path problemVehicle routing problemsymbolsK shortest path routingMathematicsEuropean Journal of Operational Research
researchProduct

Cimo: An efficient 2-phases calculator of multimodal itineraries for real trans-territories based on a dynamic programming

2015

In this work we propose an exact solution for calculating multimodal itinerary. This solution is named Cimo (Calculateur d'Itineraires Multimodaux Ordonnes). Cimo is an exact optimal itineraries' calculator wherein itineraries are sorted, multimodal, and trans-territorial. The solution is based on a dynamic programming algorithm "cut", "price" and "share". This solution is multi-objectives and multi-constraints. Several versions of this algorithm are proposed following a methodological approach that enables evaluation of efficiency and complexity's gain : through theoretical calculus and benchmarks. In the first version of realistic problem, we propose a solution with itineraries calculated…

050210 logistics & transportationScheduleTheoretical computer scienceDegree (graph theory)Hierarchy (mathematics)Computer scienceModulo05 social sciencesContext (language use)02 engineering and technology[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][INFO.INFO-MO]Computer Science [cs]/Modeling and Simulationlaw.inventionDynamic programming[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]Calculatorlaw[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]0502 economics and business0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processing[INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET][INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]
researchProduct

An FPGA aligner for short read mapping

2012

The rapid growth of short read datasets poses a new challenge to the mapping of short reads to a reference genome in terms of sensitivity and execution speed. In this work, we present a parallel architecture for short read mapping utilizing field programmable gate array (FPGA)-based hardware. The computation intensive semi-global alignment and the hash table lookup operations are mapped onto an FPGA. The proposed Align Core is implemented with a parallel block structure to gain computational efficiency. We present a new parallel block-wise alignment structure to approximate the conventional dynamic programming algorithm. The performance of our FPGA aligner is compared to the GASSST and BWA …

:Engineering::Computer science and engineering [DRNTU]Dynamic programmingSpeedupBlock structureComputer scienceComputationSensitivity (control systems)Parallel computingField-programmable gate arrayShort readHash table22nd International Conference on Field Programmable Logic and Applications (FPL)
researchProduct

Ancestral Reconstruction and Investigations of Genomic Recombination on some Pentapetalae Chloroplasts

2019

Abstract In this article, we propose a semi-automated method to rebuild genome ancestors of chloroplasts by taking into account gene duplication. Two methods have been used in order to achieve this work: a naked eye investigation using homemade scripts, whose results are considered as a basis of knowledge, and a dynamic programming based approach similar to Needleman-Wunsch. The latter fundamentally uses the Gestalt pattern matching method of sequence matcher to evaluate the occurrences probability of each gene in the last common ancestor of two given genomes. The two approaches have been applied on chloroplastic genomes from Apiales, Asterales, and Fabids orders, the latter belonging to Pe…

Ancestral reconstructionMost recent common ancestor0206 medical engineeringGenomic recombination02 engineering and technology[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]Dynamic programmingGenome[INFO.INFO-IU]Computer Science [cs]/Ubiquitous ComputingEvolution Molecular[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]AsteralesGene duplication0202 electrical engineering electronic engineering information engineeringPattern matchingGenome ChloroplastRosaceaeResearch ArticlesPhylogenySequence (medicine)Recombination GeneticbiologyGeneral Medicinebiology.organism_classification[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationAncestral genome reconstructionApialesEvolutionary biology[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]020201 artificial intelligence & image processing[INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET][INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]Pentapetalae chloroplasts020602 bioinformaticsTP248.13-248.65BiotechnologyJournal of Integrative Bioinformatics
researchProduct

Solutions of nonlinear PDEs in the sense of averages

2012

Abstract We characterize p-harmonic functions including p = 1 and p = ∞ by using mean value properties extending classical results of Privaloff from the linear case p = 2 to all pʼs. We describe a class of random tug-of-war games whose value functions approach p-harmonic functions as the step goes to zero for the full range 1 p ∞ .

Class (set theory)Mean value theoremMathematics(all)Dynamic programming principleGeneral MathematicsAsymptotic expansion01 natural sciences1-harmonicApplied mathematics0101 mathematicsMathematicsp-harmonicApplied Mathematics010102 general mathematicsMathematical analysista111Zero (complex analysis)Sense (electronics)010101 applied mathematicsNonlinear systemRange (mathematics)Two-player zero-sum gamesMean value theorem (divided differences)Viscosity solutionsAsymptotic expansionValue (mathematics)Stochastic gamesJournal de Mathématiques Pures et Appliquées
researchProduct

Neuro-Dynamic Programming for Cooperative Inventory Control

2004

Cooperative inventory control; Information flow; Neuro-dynamic programming (NDP)Information flowNeuro-dynamic programming (NDP)Cooperative inventory controlinventory control
researchProduct

Cost Reduction in Irrigation Networks by an Efficient Use of Pressure Reducing Valves

1992

The cost effective design of hydraulic networks has been traditionally studied from the point of view of the relationship between hydraulic variables and economic parameters, with piping being the main element studied. The reason is clear: the piping is by far the most costly item of a projected network. However it is not usual to find an explicit consideration of the influence that pipe thickness has on the cost of the network because of the added difficulty that this aspect poses to formulating the problem of optimization. In irrigation networks, which are typically branched, it is advisable to place Pressure Reducing Valves (PRV’s) to fulfil three main goals: 1) to control the flow rate …

Cost reductionDynamic programmingHydraulic headPipingComputer sciencePrincipal (computer security)Dynamic pressureReduction (mathematics)SizingReliability engineering
researchProduct

Some integral type fixed point theorems in Non-Archimedean Menger PM-Spaces with common property (E.A) and application of functional equations in dyn…

2013

In this paper, we prove some integral type common fixed point theorems for weakly compatible mappings in Non-Archimedean Menger PM-spaces employing common property (E.A). Some examples are furnished which demonstrate the validity of our results. We extend our main result to four finite families of self-mappings employing the notion of pairwise commuting. Moreover, we give an application which supports the usability of our main theorem.

Discrete mathematicsAlgebra and Number TheoryWeakly compatible mappingApplied MathematicsFixed-point theoremNon-Archimedean Menger PM-spaceT-normt-normFixed pointType (model theory)Fixed pointCommon property (E.A)Dynamic programmingComputational MathematicsMenger's theoremSettore MAT/05 - Analisi MatematicaCommon propertyPairwise comparisonGeometry and TopologyProperty (E.A)AnalysisMathematics
researchProduct

On the best Lipschitz extension problem for a discrete distance and the discrete ∞-Laplacian

2012

Abstract This paper concerns the best Lipschitz extension problem for a discrete distance that counts the number of steps. We relate this absolutely minimizing Lipschitz extension with a discrete ∞-Laplacian problem, which arises as the dynamic programming formula for the value function of some e -tug-of-war games. As in the classical case, we obtain the absolutely minimizing Lipschitz extension of a datum f by taking the limit as p → ∞ in a nonlocal p -Laplacian problem.

Discrete mathematicsMathematics(all)General MathematicsApplied MathematicsMathematics::Analysis of PDEsTug-of-war gamesExtension (predicate logic)Lipschitz continuityDynamic programmingLipschitz domainBellman equationInfinity LaplacianNonlocal p-Laplacian problemLimit (mathematics)Lipschitz extensionLaplacian matrixLaplace operatorMathematicsJournal de Mathématiques Pures et Appliquées
researchProduct